Tallinn University - PDFSEARCH.IO - Document Search Engine

Tallinn University
Results: 428

#	Item
41	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-10-28 05:43:38
42	Erasmus exchange students picked Estonia as their No 1 European country in which to continue their studies? Tallinn University of Technology is the most international university in Estonia. In 2013, TUT had a total of 1, Add to Reading List Source URL: www.estoria.ee Language: English - Date: 2015-02-11 08:57:56
43	Notes on Restriction Categories∗ Silvio Capobianco Institute of Cybernetics at Tallinn University of Technology, Estonia Revision: January 25, 2016 Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2016-01-25 04:52:37
44	Alla Shogenova Institute of Geology at Tallinn University of Technology Funding opportunities in HORIZON 2020 Add to Reading List Source URL: basrec.net Language: English - Date: 2015-04-28 05:05:48
45	A PLEA FOR STRATEGY Game Theory, Education, and the Potential of Serious Games Oliver Laas Tallinn University, Estonian Institute of Humanities Units of Analysis: Narratives, Simulations, Add to Reading List Source URL: gamedev.ee Language: English
46	The EAEEIE (European Association for Education in Electrical and Information EngineeringAnnual Conference is organized by the Department of Computer Engineering (ATI) of Tallinn University of Technology. It is tec Add to Reading List Source URL: eaeeie.ttu.ee Language: English - Date: 2008-06-26 04:34:04
47	Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-07 10:33:05
48	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko\|t Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-01-14 14:32:40
49	Transcription System for Semi-Spontaneous Estonian Speech ¨ Tanel Alumae Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: www.cl.ut.ee Language: English - Date: 2012-10-05 04:14:26
50	GameDevDays Resogun Story – Concept to Hit Game – Tallinn University, Tallinn © HOUSEMARQUE 2015 Add to Reading List Source URL: gamedev.ee Language: English